region of ultimate boundedness

毕竟有界限域